Optimal. Leaf size=116 \[ -\frac{\cos (e+f x) \left (\frac{\sin (e+f x)+1}{1-\sin (e+f x)}\right )^{\frac{1}{2}-m} (a \sin (e+f x)+a)^m (d \sin (e+f x))^{-m} \, _2F_1\left (\frac{1}{2}-m,-m;1-m;-\frac{2 \sin (e+f x)}{1-\sin (e+f x)}\right )}{d f m (\sin (e+f x)+1)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.189131, antiderivative size = 116, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 27, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.148, Rules used = {2787, 2786, 2785, 132} \[ -\frac{\cos (e+f x) \left (\frac{\sin (e+f x)+1}{1-\sin (e+f x)}\right )^{\frac{1}{2}-m} (a \sin (e+f x)+a)^m (d \sin (e+f x))^{-m} \, _2F_1\left (\frac{1}{2}-m,-m;1-m;-\frac{2 \sin (e+f x)}{1-\sin (e+f x)}\right )}{d f m (\sin (e+f x)+1)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2787
Rule 2786
Rule 2785
Rule 132
Rubi steps
\begin{align*} \int (d \sin (e+f x))^{-1-m} (a+a \sin (e+f x))^m \, dx &=\left ((1+\sin (e+f x))^{-m} (a+a \sin (e+f x))^m\right ) \int (d \sin (e+f x))^{-1-m} (1+\sin (e+f x))^m \, dx\\ &=\frac{\left (\sin ^m(e+f x) (d \sin (e+f x))^{-m} (1+\sin (e+f x))^{-m} (a+a \sin (e+f x))^m\right ) \int \sin ^{-1-m}(e+f x) (1+\sin (e+f x))^m \, dx}{d}\\ &=-\frac{\left (\cos (e+f x) \sin ^m(e+f x) (d \sin (e+f x))^{-m} (1+\sin (e+f x))^{-\frac{1}{2}-m} (a+a \sin (e+f x))^m\right ) \operatorname{Subst}\left (\int \frac{(1-x)^{-1-m} (2-x)^{-\frac{1}{2}+m}}{\sqrt{x}} \, dx,x,1-\sin (e+f x)\right )}{d f \sqrt{1-\sin (e+f x)}}\\ &=-\frac{\cos (e+f x) \, _2F_1\left (\frac{1}{2}-m,-m;1-m;-\frac{2 \sin (e+f x)}{1-\sin (e+f x)}\right ) (d \sin (e+f x))^{-m} \left (\frac{1+\sin (e+f x)}{1-\sin (e+f x)}\right )^{\frac{1}{2}-m} (a+a \sin (e+f x))^m}{d f m (1+\sin (e+f x))}\\ \end{align*}
Mathematica [C] time = 1.50715, size = 194, normalized size = 1.67 \[ \frac{(1-i) 2^m (\cosh (m \log (2))-\sinh (m \log (2))) (\cos (e+f x)-i (\sin (e+f x)+1)) (a (\sin (e+f x)+1))^m (d \sin (e+f x))^{-m} ((1-i) (-i \sin (e+f x)+\cos (e+f x)+1))^m ((1+i) (i \sin (e+f x)-\cos (e+f x)+1))^{-m} \, _2F_1\left (m+1,2 m+1;2 (m+1);\sqrt{2} \cos \left (\frac{1}{4} (2 e+2 f x-\pi )\right ) \csc \left (\frac{1}{2} (e+f x)\right )\right )}{d f (2 m+1) (-i \sin (e+f x)+\cos (e+f x)-1)} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.24, size = 0, normalized size = 0. \begin{align*} \int \left ( d\sin \left ( fx+e \right ) \right ) ^{-1-m} \left ( a+a\sin \left ( fx+e \right ) \right ) ^{m}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (a \sin \left (f x + e\right ) + a\right )}^{m} \left (d \sin \left (f x + e\right )\right )^{-m - 1}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left ({\left (a \sin \left (f x + e\right ) + a\right )}^{m} \left (d \sin \left (f x + e\right )\right )^{-m - 1}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (a \sin \left (f x + e\right ) + a\right )}^{m} \left (d \sin \left (f x + e\right )\right )^{-m - 1}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]